Formal proof - German English Dictionary